Improving Prolog Programs: Refactoring for Prolog

Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.Comment: To appear in ICLP 200

Large-eddy simulation of the lid-driven cubic cavity flow by the spectral element method

This paper presents the large-eddy simulation of the lid-driven cubic cavity flow by the spectral element method (SEM) using the dynamic model. Two spectral filtering techniques suitable for these simulations have been implemented. Numerical results for Reynolds number $\text{Re}=12'000$ are showing very good agreement with other experimental and DNS results found in the literature

Age-dependent changes in insulin-like immunoreactivity in rat submandibular salivary glands.

In recent years, a growing interest had arisen in hormonal factors in salivary glands. We have investigated the changes in the content of an insulin-like immunoreactive (ILI) compound in the submandibular salivary glands of Sprague Dawley rats during physiological aging, in the range 15 days-27 months. The amount of ILI in the submandibular glands of young adult rats was found to be doubled in the post-natal period until the age of puberty and was maintained in senescence. No significant correlation was found between age-dependent variations in ILI levels of submandibular salivary glands and circulating insulin concentrations, further supporting previous indications that ILI is being synthesized in situ. It is possible that ILI could exert paracrine effects within the glands, as regards the development of other glandular structures during the first months of life, as well as the preservation of glandular function in senescent animals as well

African American men with low-grade prostate cancer have increased disease recurrence after prostatectomy compared with Caucasian men.

PURPOSE: To explore whether disparities in outcomes exist between African American (AA) and Caucasian (CS) men with low-grade prostate cancer and similar cancer of the prostate risk assessment-postsurgery (CAPRA-S) features following prostatectomy (RP). METHODS: The overall cohort consisted of 1,265 men (234 AA and 1,031 CS) who met the National comprehensive cancer network criteria for low- to intermediate-risk prostate cancer and underwent RP between 1990 and 2012. We first evaluated whether clinical factors were associated with adverse pathologic outcomes and freedom from biochemical failure (FFbF) using the entire cohort. Next, we studied a subset of 705 men (112 AA and 593 CS) who had pathologic Gleason score≤6 (low-grade disease). Using this cohort, we determined whether race affected FFbF in men with RP-proven low-grade disease and similar CAPRA-S scores. RESULTS: With a median follow-up time of 27 months, the overall 7-year FFbF rate was 86% vs. 79% in CS and AA men, respectively (P = 0.035). There was no significant difference in one or more adverse pathologic features between CS vs. AA men (27% vs. 31%; P = 0.35) or CAPRA-S score (P = 0.28). In the subset analysis of patients with low-grade disease, AA race was associated with worse FFbF outcomes (P = 0.002). Furthermore, AA race was a significant predictor of FFbF in men with low-grade disease (hazard ratio = 2.01, 95% CI: 1.08-3.72; P = 0.029). CONCLUSIONS: AA race is a predictor of worse FFbF outcomes in men with low-grade disease after RP. These results suggest that a subset of AA men with low-grade disease may benefit from more aggressive treatment

Progress report and first operation of the GANIL injector

http://accelconf.web.cern.ch/AccelConf/c81/papers/abp-07.pdfInternational audienc

Adaptive mesh refinement with spectral accuracy for magnetohydrodynamics in two space dimensions

We examine the effect of accuracy of high-order spectral element methods, with or without adaptive mesh refinement (AMR), in the context of a classical configuration of magnetic reconnection in two space dimensions, the so-called Orszag-Tang vortex made up of a magnetic X-point centered on a stagnation point of the velocity. A recently developed spectral-element adaptive refinement incompressible magnetohydrodynamic (MHD) code is applied to simulate this problem. The MHD solver is explicit, and uses the Elsasser formulation on high-order elements. It automatically takes advantage of the adaptive grid mechanics that have been described elsewhere in the fluid context [Rosenberg, Fournier, Fischer, Pouquet, J. Comp. Phys. 215, 59-80 (2006)]; the code allows both statically refined and dynamically refined grids. Tests of the algorithm using analytic solutions are described, and comparisons of the Orszag-Tang solutions with pseudo-spectral computations are performed. We demonstrate for moderate Reynolds numbers that the algorithms using both static and refined grids reproduce the pseudo--spectral solutions quite well. We show that low-order truncation--even with a comparable number of global degrees of freedom--fails to correctly model some strong (sup--norm) quantities in this problem, even though it satisfies adequately the weak (integrated) balance diagnostics.Comment: 19 pages, 10 figures, 1 table. Submitted to New Journal of Physic

Magneto-shear modes and a.c. dissipation in a two-dimensional Wigner crystal

The a.c. response of an unpinned and finite 2D Wigner crystal to electric fields at an angular frequency $\omega$ has been calculated in the dissipative limit, $\omega \tau \ll 1$, where $\tau ^{-1}$ is the scattering rate. For electrons screened by parallel electrodes, in zero magnetic field the long-wavelength excitations are a diffusive longitudinal transmission line mode and a diffusive shear mode. A magnetic field couples these modes together to form two new magneto-shear modes. The dimensionless coupling parameter $\beta =2(c_{t}/c_{l})|\sigma_{xy}/\sigma_{xx}|$ where $c_{t}$ and $c_{l}$ are the speeds of transverse and longitudinal sound in the collisionless limit and $\sigma_{xy}$ and $\sigma_{xx}$ are the tensor components of the magnetoconductivity. For $\beta \geqslant 1$, both the coupled modes contribute to the response of 2D electrons in a Corbino disk measurement of magnetoconductivity. For $\beta \gg 1$, the electron crystal rotates rigidly in a magnetic field. In general, both the amplitude and phase of the measured a.c. currents are changed by the shear modulus. In principle, both the magnetoconductivity and the shear modulus can be measured simultaneously.Comment: REVTeX, 7 pp., 4 eps figure

On completeness of logic programs

Program correctness (in imperative and functional programming) splits in logic programming into correctness and completeness. Completeness means that a program produces all the answers required by its specification. Little work has been devoted to reasoning about completeness. This paper presents a few sufficient conditions for completeness of definite programs. We also study preserving completeness under some cases of pruning of SLD-trees (e.g. due to using the cut). We treat logic programming as a declarative paradigm, abstracting from any operational semantics as far as possible. We argue that the proposed methods are simple enough to be applied, possibly at an informal level, in practical Prolog programming. We point out importance of approximate specifications.Comment: 20 page